<?php
  echo "天小天";
?>